著名的Steiner—Lehmes定理旨在一定条件下判断1个三角形是否为等腰三角形，而王彦海把题设条件替换成了各种形式，并提出了9个猜想．用......

非线性代数方程组的求解是一个尚未完全解决的问题。基于DIXON结式的聚筛法是求解非线性代数方程组的一种非常有效的方法,然而运用......

给出（偏）微分方程（组）（ＰＤＥｓ）对称向量的吴－微分特征列集（消元）算法理论。把古典和非古典ＰＤＥｓ对称向量的计算问题统一在吴－微分特征列理论框架之下处理......

把吴方法引入几何CAI体系，收集整理某一范畴的所有几何知识（包括对象、关系、定理、问题等），进行详尽的分解归类细化，抽象出几何知识的......